Relations between ex falso, tertium non datur, and double negation elimination
نویسنده
چکیده
We show which implicational relations hold between the three principles ex falso sequitur quodlibet, tertium non datur, and double negation elimination, on the basis of minimal logic.
منابع مشابه
Subminimal negation
Minimal Logic, i.e. intuitionistic logic without the ex falso principle, is investigated in its original form with a negation symbol instead of a symbol denoting the contradiction. A Kripke semantics is developed for minimal logic and its sublogics with a still weaker negation by introducing a function on the upward closed sets of the models. The basic logic is a logic in which the negation has...
متن کاملPOSITIVISM OR NON-POSITIVISM - TERTIUM NON DATUR A Critique of Ontological Syncretism in IS Research
This paper revisits the debate between positivism and its alternatives in the field of information systems from a philosophical point of view. It will argue that the heart of the debate is the ontological difference between the views of reality as observer-independent versus observer-dependent. The logical axiom of the excluded third (tertium non datur) informs us that two contradictory options...
متن کاملUniversal Logic Applied to a Defeasible World
Universal logic applied to the real world is defeasible. Defeasible reasoning where inferences depend (informally) on implied conditions can be better understood when made formal and indeed needs to be formalised for implementation in computational systems of practical reasoning such as interconnections in globalised eBusiness. Semi-formal Aristotelian syllogisms are now expressed within modern...
متن کاملVarieties of Finitism
One may have epistemological problems with the infinite. These usually centre on the question how we can know about the properties of infinite structures or of objects (like numbers) infinitely away from our (epistemic) point of view. Such concerns may lead one either to change the logic one is working with when considering such an – supposedly, epistemically almost inaccessible – realm. So int...
متن کاملGoal - Directed Tableaux ∗
This paper contains a new format for analytic tableaux, called goaldirected tableaux. Their main interest lies in the fact that they are more efficient than the usual analytic tableaux (in general, they lead to less branching). They can also be used to develop an efficient tableaux-based approach to abduction. The goal-directed tableaux do not form a full decision method for propositional class...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1304.0272 شماره
صفحات -
تاریخ انتشار 2013